<?xml version="1.0" encoding="iso-8859-1"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
    "../DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <title>Groebner bases classes</title>
  </head>

  <body>
    <h1>Groebner bases package.</h1>

<p>
  This package contains classes for polynomial and solvable polynomial
  reduction, Groebner bases and ideal arithmetic as well as thread
  parallel and distributed versions of Buchbergers algorithm,
  e.g. <code>ReductionSeq</code>, <code>GroebnerBaseAbstract</code>,
  <code>GroebnerBaseSeq</code>, <code>GroebnerBaseParallel</code> and
  <code>GroebnerBaseDistributed</code>.  Moreover there are Groebner
  bases in polynomial rings over principal ideal domains and Euclidean
  domains, so called D- and E-Groebner bases, see
  <code>DGroebnerBaseSeq</code> and <code>EGroebnerBaseSeq</code>.
  The latest additions include free non-commutative polynomial
  reduction, S-polynomials and two-sided Groebner bases, see
  <code>WordReductionSeq</code> and <code>WordGroebnerBaseSeq</code>.
</p>


    <hr />
    <address><a href="mailto:kredel at rz.uni-mannheim.de">Heinz Kredel</a></address>
<p>
<!-- Created: Wed Mar  1 12:29:04 CET 2006 -->
<!-- hhmts start -->
Last modified: Fri Sep 21 21:46:36 CEST 2012
<!-- hhmts end -->
</p>
<p>$Id$ 
</p>
  </body>
</html>
